Personal and Bibliographical
نویسندگان
چکیده
منابع مشابه
Bibliographical Details
I describe the challenges involved in designing and evaluating high assurance, verifiable voting systems. I describe the Pret a Voter scheme that provides voterverifiablity with minimal trust in officials, software etc. I also describe a number of threats against voting schemes and the extent to which they apply to the basic Pret a Voter scheme. Some enhancements to the scheme designed to count...
متن کاملBibliographical details
Building trustworthy (dependable) systems is a major challenge faced by software developers. To this end, various fault tolerance mechanisms have been developed by researchers and used in industry. Unfortunately, more often than not these solutions ignore earlier development phases most importantly, the architecture design to exclusively focus on the implementation instead. This creates a dange...
متن کاملMesotherapy: a bibliographical review.
Intradermotherapy is a medical procedure introduced by Pistor in 1958 that consists in the application of intradermal injections of diluted pharmacological substances that are given directly into the region to be treated. There are reports of the use of intradermotherapy to treat painful diseases, skin diseases and unaesthetic conditions. Medical clinics have been recently offering the treatmen...
متن کاملalgebraic and arithmetic dynamics bibliographical database
References [1] S. Akiyama, T. Borbéli, H. Brunotte, A. Pethö, and J. Thuswaldner. Generalized radix representations and dynamical systems i. Acta Math. Hungarica., 108:207–238, 2005. [2] S. Akiyama, H. Brunotte, A. Pethö, and J. Thuswaldner. Generalized radix representations and dynamical systems ii. Acta Arith., 121:21–61, 2006. [3] S. Akiyama and N Gjini. On the connectedness of self-affine a...
متن کاملInteractively Exploring Bibliographical Data for Literature Analysis
This paper introduces techniques for interactive navigation within large sets of bibliographic data. The main conceptual idea is to use various relations between the entries to navigate within the information space. A visualization that supports both the display of the data itself and the relations is introduced. Interaction techniques offer possibilities to follow relations and, thus, create n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: American Political Science Review
سال: 1908
ISSN: 0003-0554,1537-5943
DOI: 10.1017/s0003055400001477